Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...